منابع مشابه
Peter Westen an Attitudinal Theory of Excuse
The mother lode of criminal responsibility scholarship is a unitary theory of criminal excuses, that is, a persuasive normative account of why the criminal law adjudges actors to be blameless despite their having engaged in prohibited conduct. The law’s other criminal defenses do not readily lend themselves to unitary normative accounts or, if they do, they rest on normative accounts that are s...
متن کاملExpressive Law and Economics
This article develops an economic theory of expressive law. By expressing social values, law can tip a system of social norms into a new equilibrium. This process can create or destroy a social norm without changing individual values. In addition, law can change the individual values of rational people. Internalizing a social norm is a moral commitment that attaches a psychological penalty to a...
متن کاملTowards an Expressive Practical Logical Action Theory
In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and Reiter’s basic action theories (BAT) such ...
متن کاملTowards an Expressive Decidable Logical Action Theory
In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and Reiter’s basic action theories (BAT) such ...
متن کاملAn expressive trace theory for LOTOS
Trace theory concepts are added to LOTOS and appropriate composition functions on traces are deened. The result is a trace theory that is suitable for reasoning about communication sequences of LOTOS behavior expressions. This is illustrated by deening a trace set semantics and a trace-based proof system for LOTOS. An example, consisting of the proof of a property of traces of an unbounded reli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SSRN Electronic Journal
سال: 2001
ISSN: 1556-5068
DOI: 10.2139/ssrn.253331